Diagram Chasing in Abelian Categories
نویسنده
چکیده
In applications of the theory of homological algebra, results such as the Five Lemma are crucial. For abelian groups this result is proved by diagram chasing, a procedure not immediately available in a general abelian category. However, we can still prove the desired results by embedding our abelian category in the category of abelian groups. All of this material is taken from Mitchell’s book on category theory [Mit65].
منابع مشابه
THE POINTED SUBOBJECT FUNCTOR, 3× 3 LEMMAS, AND SUBTRACTIVITY OF SPANS Dedicated to Dominique Bourn on the occasion of his sixtieth birthday
The notion of a subtractive category recently introduced by the author, is a pointed categorical counterpart of the notion of a subtractive variety of universal algebras in the sense of A. Ursini (recall that a variety is subtractive if its theory contains a constant 0 and a binary term s satisfying s(x, x) = 0 and s(x, 0) = x). Let us call a pointed regular category C normal if every regular e...
متن کاملNoetherian Hereditary Abelian Categories Satisfying Serre Duality
Notations and conventions 296 Introduction 296 I. Serre duality and almost split sequences 300 I.1. Preliminaries on Serre duality 300 I.2. Connection between Serre duality and Auslander–Reiten triangles 304 I.3. Serre functors on hereditary abelian categories 307 II. Hereditary noetherian abelian categories with non-zero projective objects 309 II.1. Hereditary abelian categories constructed fr...
متن کاملExact Categories Theo Bühler
We survey the basics of homological algebra in exact categories in the sense of Quillen. All diagram lemmas are proved directly from the axioms, notably the five lemma, the 3×3-lemma and the snake lemma. We briefly discuss exact functors, idempotent completion and weak idempotent completeness. We then show that it is possible to construct the derived category of an exact category without any em...
متن کاملSystems of Diagram Categories and K-theory. I
To any left system of diagram categories or to any left pointed dérivateur a K-theory space is associated. This K-theory space is shown to be canonically an infinite loop space and to have a lot of common properties with Waldhausen’s K-theory. A weaker version of additivity is shown. Also, Quillen’s K-theory of a large class of exact categories including the abelian categories is proved to be a...
متن کاملESI The Erwin Schrödinger International
We survey the basics of homological algebra in exact categories in the sense of Quillen. All diagram lemmas are proved directly from the axioms, notably the five lemma, the 3×3-lemma and the snake lemma. We briefly discuss exact functors, idempotent completion and weak idempotent completeness. We then show that it is possible to construct the derived category of an exact category without any em...
متن کامل